Localization of Injective Modules over Valuation Rings
نویسنده
چکیده
It is proved that EJ is injective if E is an injective module over a valuation ring R, for each prime ideal J 6= Z. Moreover, if E or Z is flat, then EZ is injective too. It follows that localizations of injective modules over h-local Prüfer domains are injective too. If S is a multiplicative subset of a noetherian ring R, it is well known that SE is injective for each injective R-module E. The following example shows that this result is not generally true if R is not noetherian. Example 1. Let K be a field and I an infinite set. We put R = K , J = K and S = {1− r | r ∈ J}. Then R/J ∼= SR, R is an injective module, but R/J is not injective by [5, Theorem]. However, we shall see that, for some classes of non-noetherian rings, localizations of injective modules are injective too. For instance: Proposition 2. Let R be a hereditary ring. For each multiplicative subset S of R and for every injective R-module E, SE is injective. There exist non-noetherian hereditary rings. Proof. Let F be the kernel of the natural map: E → SE. Then E/F is injective and S-torsion-free. Let s ∈ S. We have (0 : s) = Re, where e is an idempotent of R. It is easy to check that s+ e is a non-zerodivisor. So, if x ∈ E, there exists y ∈ E such that x = (s+e)y. Clearly eE ⊆ F . Hence x+F = s(y+F ). Therefore the multiplication by s in E/F is bijective, whence E/F ∼= SE. In Proposition 2 and Example 1, R is a coherent ring. By [3, Proposition 1.2] SE is fp-injective if E is a fp-injective module over a coherent ring R, but the coherence hypothesis can’t be omitted: see [3, Example p.344]. The aim of this paper is to study localizations of injective modules and fpinjective modules over a valuation ring R. Let Z be the subset of its zerodivisors. Then Z is a prime ideal. We will show the following theorem: Theorem 3. Let R be a valuation ring, denote by Z the set of zero divisors of R and let E be an injective (respectively fp-injective) module. Then: (1) For each prime ideal J 6= Z, EJ is injective (respectively fp-injective). (2) EZ is injective (respectively fp-injective) if and only if E or Z is flat. 1991 Mathematics Subject Classification. Primary 13F30, 13C11.
منابع مشابه
Localization of injective modules over arithmetical rings
It is proved that localizations of injective R-modules of finite Goldie dimension are injective if R is an arithmetical ring satisfying the following condition: for every maximal ideal P , RP is either coherent or not semicoherent. If, in addition, each finitely generated R-module has finite Goldie dimension, then localizations of finitely injective R-modules are finitely injective too. Moreove...
متن کاملInjective Modules and Fp-injective Modules over Valuation Rings
It is shown that each almost maximal valuation ring R, such that every indecomposable injective R-module is countably generated, satisfies the following condition (C): each fp-injective R-module is locally injective. The converse holds if R is a domain. Moreover, it is proved that a valuation ring R that satisfies this condition (C) is almost maximal. The converse holds if Spec(R) is countable....
متن کاملPure-injective hulls of modules over valuation rings
If R̂ is the pure-injective hull of a valuation ring R, it is proved that R̂ ⊗R M is the pure-injective hull of M , for every finitely generated Rmodule M . Moreover R̂ ⊗R M ∼= ⊕1≤k≤nR̂/AkR̂, where (Ak)1≤k≤n is the annihilator sequence of M . The pure-injective hulls of uniserial or polyserial modules are also investigated. Any two pure-composition series of a countably generated polyserial module a...
متن کاملUpper bounds for noetherian dimension of all injective modules with Krull dimension
In this paper we give an upper bound for Noetherian dimension of all injective modules with Krull dimension on arbitrary rings. In particular, we also give an upper bound for Noetherian dimension of all Artinian modules on Noetherian duo rings.
متن کاملGorenstein homological dimensions with respect to a semi-dualizing module over group rings
Let R be a commutative noetherian ring and Γ a finite group. In this paper,we study Gorenstein homological dimensions of modules with respect to a semi-dualizing module over the group ring . It is shown that Gorenstein homological dimensions of an -RΓ module M with respect to a semi-dualizing module, are equal over R and RΓ .
متن کامل